2 مقاله
وایزیوایم (WYSIWYM) تکنیکی نوین در تعامل ویرایش متن است که در دانشگاه برایتون توسعه یافت. این روش به کاربران امکان میدهد تا با استفاده از رابط زبانی طبیعی، نمایشهای انتزاعی دانش را ایجاد کنند. برخلاف درک زبان طبیعی، وایزیوایم از تولید زبان طبیعی به صورت تعاملی بهره میبرد تا محتوای معنایی را به صورت پویا بهبود بخشد.
معناشناسی پایهای روشی در برنامهنویسی منطقی است که به رایانه کمک میکند تا از مجموعهای از قواعد منطقی، نتایج درست استنتاج کند. این روش که در سال ۱۹۹۱ معرفی شد، با استفاده از منطق سهارزشی، امکان مدیریت دادههای متناقض را فراهم میکند و در حضور اطلاعات ناقص یا پرسروصدا، استنتاجهای ایمن را ممکن میسازد.
