主催: 日本ソフトウェア科学会
関西学院大学理工学研究科
関西学院大学理工学部
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
定性空間推論の枠組みとなるPLCA表現をベースとする推論機構を構築した。PLCA表現では2次元図形の形にかかわらずに各部分の接し方を漏らさず表現できる。この表現は形にかかわらない曖昧な表現を行うがその表現は簡潔に表される。したがって既存のデータベースやシステムと容易に繋ぐことができる。応用例としてPrologを推論機構として実装したシステムの例を示す。
すでにアカウントをお持ちの場合 サインインはこちら