Tableau方法相关论文
基于Tableau方法的程序综合方法以定理证明为基础,将从规格说明得到程序的过程看作是一个定理证明的过程,如果这个证明存在,那么从......
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实......
为提高模糊命题模态逻辑（fuzzy propositional modal logic,FPML）的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出......
在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法——等式合一方法，并证明了它的可靠性和完备性。在该方法中......
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一.......
标记逻辑是一种重要的次协调逻辑，标记逻辑中的２种推理关系，二次都是次协调的，可以用统一的方法处理一致的知识不一致的知识，单调的，有基......
本文提出并比较了在信度语义下，计算算子模糊逻辑中公式（集）模糊程度的３种方法－－归结法、广义归结法和ＴＡＢＬＥＡＵ方法。......
为使符号化模型检验技术适用于全部ω-正规性质，研究了ETL（extended temporal logic）的符号化模型检验方法．首先，扩展了LTL（linear tempo......
本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。......
在实时系统的形式验证中，为了直接验证带有明显时间约束的性质，选用了一种被广泛接受的（线性时间）实时时序逻辑——度量区时序逻辑来描......
