Abstract | ||
---|---|---|
We present an implementation of an automated reasoning system for multi-agent knowledge and time, which can be used to describe multi-agent environments. Our reasoning procedure is based on a so-called semantic method. That is, suppose that a multi-agent environment is given by a multi-agent knowledge and time modal logic formula set U. To see whether a multi-agent knowledge and time modal logic formula F can be derived from U, all formulas in U and the negation of F are first translated, according to the possible worlds semantics, into a semantically equivalent first-order formula set, from which we then derive a set of first-order clauses. Thus, F logically follows from U iff there is a refutation in the translated clause set. Since we have to use some transitive axioms and deal with inequalities when reasoning about the set of translated first-order clauses, we augment a general purpose first-order theorem proof procedure ME (the Model Elimination) [11] with the capabilities of using transitive axioms and dealing with inequalities. Theory resolution is incorporated into our reasoning procedure for using transitive axioms efficiently. We present our implementation and show some experimental results. |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/BFb0030088 | DAI |
Keywords | Field | DocType |
automated reasoning system,knowledge and time,system implementation,multi-agent knowledge,automated rea- soning,multi-agent environment,automated reasoning,first order,modal logic,possible worlds | Automated reasoning,Knowledge representation and reasoning,Axiom,Model-based reasoning,Theoretical computer science,Deductive reasoning,Modal logic,Reasoning system,Mathematics,Transitive relation | Conference |
Volume | ISSN | ISBN |
1286 | 0302-9743 | 3-540-63412-6 |
Citations | PageRank | References |
1 | 0.48 | 11 |
Authors | ||
6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Lifeng He | 1 | 441 | 40.97 |
Yuyan Chao | 2 | 315 | 24.07 |
Shohei Kato | 3 | 170 | 39.56 |
Tetsuo Araki | 4 | 7 | 4.01 |
Hirohisa Seki | 5 | 276 | 52.30 |
Hidenori Itoh | 6 | 368 | 252.31 |